#include <stdio.h>

main(){
extern int ext;
printf("%d\n",ext);
dummy();
printf("%d\n",ext);
}
